state\_when($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$state\_when($e$)